Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software
2014-01-01 Belzner, L; De Nicola, R; Vandin, A; Wirsing, M
Reconstructing topological properties of complex networks using the fitness model
2015-01-01 Cimini, G; Squartini, T; Musmeci, N; Puliga, M; Gabrielli, A; Garlaschelli, D; Battiston, S; Caldarelli, G
Replicating Data for Better Performances in X10
2016-01-01 Marina, Andric; De Nicola, R; Alberto, Lluch-Lafuente:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 Bernardo, M; De Nicola, R; Loreti, M
RVerifying hardware components within JACK
1995-01-01 De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme
Self-expression and Dynamic Attribute-Based Ensembles in SCEL
2014-01-01 Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications
2012-01-01 Luís, Caires; MENDES TORRES VIEIRA, H
Socio-Economic Dynamics: Networks and Agent-Based Models - Introduction
2015-01-01 Galam, S; Javarone, M A; Squartini, T
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
2016-01-01 De Nicola, R; Eva, Kühn
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
2015-01-01 De Nicola, R; Hennicker, R
Static analysis techniques for session-oriented calculi
2011-01-01 Lucia, Acciai; Chiara, Bodei; Michele, Boreale; Roberto, Bruni; MENDES TORRES VIEIRA, H
Static VS Dynamic Reversibility in CCS
2016-01-01 Medic, D; Mezzina, C
Supporting performance awareness in autonomous ensembles
2015-01-01 Bulej, L; Bures, T; Gerostathopoulos, I; Horký, V; Keznikl, J; Marek, L; Tschaikowski, M; Tuma, P; Tribastone, M
Syntactic Markovian bisimulation for chemical reaction networks
2017-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Testing Equivalence for Mobile Processes (Extended Abstract)
1992-01-01 Boreale, M; De Nicola, R
Testing Equivalence for Processes
1983-01-01 De Nicola, R; Hennessy, M
Tools and verification
2011-01-01 Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino
Triadic motifs and dyadic self-organization in the World Trade Network
2012-01-01 Squartini, T; Garlaschelli, D
Tuple spaces implementations and their efficiency
2016-01-01 Buravlev, V.; De Nicola, R; Mezzina, C
Type-based access control in data-centric systems
2011-01-01 Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software | 1-gen-2014 | Belzner, L; De Nicola, R; Vandin, A; Wirsing, M | |
| Reconstructing topological properties of complex networks using the fitness model | 1-gen-2015 | Cimini, G; Squartini, T; Musmeci, N; Puliga, M; Gabrielli, A; Garlaschelli, D; Battiston, S; Caldarelli, G | |
| Replicating Data for Better Performances in X10 | 1-gen-2016 | Marina, Andric; De Nicola, R; Alberto, Lluch-Lafuente: | |
| Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 1-gen-2012 | Bernardo, M; De Nicola, R; Loreti, M | |
| RVerifying hardware components within JACK | 1-gen-1995 | De Nicola, R; Fantechi, A; Gnesi, S; Larosa, S; Ristori G., Charme | |
| Self-expression and Dynamic Attribute-Based Ensembles in SCEL | 1-gen-2014 | Cabri, G; Capodieci, N; Cesari, L; De Nicola, R; Pugliese, R; Tiezzi, F; Zambonelli, F | |
| SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications | 1-gen-2012 | Luís, Caires; MENDES TORRES VIEIRA, H | |
| Socio-Economic Dynamics: Networks and Agent-Based Models - Introduction | 1-gen-2015 | Galam, S; Javarone, M A; Squartini, T | |
| Software Engineering and Formal Methods - 14th International Conference, SEFM 2016 | 1-gen-2016 | De Nicola, R; Eva, Kühn | |
| Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering | 1-gen-2015 | De Nicola, R; Hennicker, R | |
| Static analysis techniques for session-oriented calculi | 1-gen-2011 | Lucia, Acciai; Chiara, Bodei; Michele, Boreale; Roberto, Bruni; MENDES TORRES VIEIRA, H | |
| Static VS Dynamic Reversibility in CCS | 1-gen-2016 | Medic, D; Mezzina, C | |
| Supporting performance awareness in autonomous ensembles | 1-gen-2015 | Bulej, L; Bures, T; Gerostathopoulos, I; Horký, V; Keznikl, J; Marek, L; Tschaikowski, M; Tuma, P; Tribastone, M | |
| Syntactic Markovian bisimulation for chemical reaction networks | 1-gen-2017 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Testing Equivalence for Mobile Processes (Extended Abstract) | 1-gen-1992 | Boreale, M; De Nicola, R | |
| Testing Equivalence for Processes | 1-gen-1983 | De Nicola, R; Hennessy, M | |
| Tools and verification | 1-gen-2011 | Massimo, Bartoletti; Luís, Caires; Ivan, Lanese; Franco, Mazzanti; Davide, Sangiorgi; MENDES TORRES VIEIRA, H; Roberto, Zunino | |
| Triadic motifs and dyadic self-organization in the World Trade Network | 1-gen-2012 | Squartini, T; Garlaschelli, D | |
| Tuple spaces implementations and their efficiency | 1-gen-2016 | Buravlev, V.; De Nicola, R; Mezzina, C | |
| Type-based access control in data-centric systems | 1-gen-2011 | Luís, Caires; Jorge A., Pérez; João Costa, Seco; MENDES TORRES VIEIRA, H; Lúcio, Ferrão |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile